Knowledge Interchange Format (KIF)
ANSI KIF
draft proposed American National Standard
Model Theoretic Semantics
in TeX
ANSI KIF Ad Hoc Group and Mailing List Members
Michael R. Genesereth